let extract = (P(e, a)) => a;
